(assert (let ((
; end-of-file comes ...
